The Leonardo - PDFSEARCH.IO - Document Search Engine

The Leonardo
Results: 869

#	Item
171	Who’s Getting Globalized? The Size and Implications of Intranational Trade CostsWe thank Rohit Naimpally, Guo Xu and Fatima Aqeel for excellent research assistance, and Alvaro González, Leonardo Iacovone, Clement Imbe Add to Reading List Source URL: dl.dropboxusercontent.com Language: English
172	µZ– An Efficient Engine for Fixed points with Constraints? Kryˇstof Hoder, Nikolaj Bjørner, and Leonardo de Moura Manchester University and Microsoft Research Abstract. The µZ tool is a scalable, efficient engine Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:09:02 Mathematical logic Mathematical structures Model theory Algebraic logic Boolean algebra Finitary relation Structure Relational algebra Relation algebra Mathematics Algebra Abstract algebra
173	Contact: Bryton Sampson, The Leonardo , *ELECTRONIC IMAGES available for download at http://www.animalinsideout.com/en/media.html MEDIA PREVIEW on Friday, May 9. Details to follo Add to Reading List Source URL: www.animalinsideout.com Language: English* - Date: 2014-04-23 14:31:56 Body Worlds Biology Structure The Leonardo Gunther von Hagens Science Death Plastination
174	online since 1993 ISSN NO : Home > Journal > Table of Contents > Announcements Add to Reading List Source URL: www.leoalmanac.org Language: English - Date: 2014-02-11 08:13:51 Nicolas Collins Leonardo Music Journal Leonardo Live electronic music Electronic musical instrument Stethoscope The Gizmo Synthesizer Electronic music Music Sound Waves
175	Proofs and Refutations, and Z3 Leonardo de Moura and Nikolaj Bjørner Microsoft Research Abstract Z3 [3] is a state-of-the-art Satisfiability Modulo Theories (SMT) solver freely available from Microsoft Research. It solv Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:06 Formal methods Metalogic Logic in computer science Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Conjunctive normal form Mathematical proof Mathematics Theoretical computer science Logic
176	*************************************************************************************************************************************************************************************** NASA TELEVISION SCHEDULE STS-128 / Add to Reading List Source URL: www.spaceflightnow.com Language: English - Date: 2011-09-01 17:48:27** International Space Station Leonardo STS-125 The Hub Space Shuttle STS-121 STS-135 Spaceflight Joint ventures Manned spacecraft
177	On the possible discovery of precessional effects in ancient astronomy. Giulio Magli Dipartimento di Matematica del Politecnico di Milano P.le Leonardo da Vinci 32, 20133 Milano, Italy. Abstract: Add to Reading List Source URL: arxiv.org Language: English - Date: 2004-08-01 05:36:30 Precession Stars Axial precession Ancient Egyptian calendar Astronomical chronology Epoch Hipparchus Pole star Axial tilt Astronomy Astrology Space
178	02a - Italy - ASI Copuos for the presentation in the confrence room Add to Reading List Source URL: www.unoosa.org Language: English - Date: 2015-02-09 07:27:49 Multi-Purpose Logistics Module Leonardo Cotronei Italian Space Agency International Space Station Spaceflight United Nations Committee on the Peaceful Uses of Outer Space European Space Agency
179	1 Vol 16 Issue 4 – 5 The Inner Cauldron; the Upward Array by Alphonso Lingis Add to Reading List Source URL: www.leoalmanac.org Language: English - Date: 2014-02-11 08:11:55 Mount Hagen Papua New Guinea New Guinea Rio de Janeiro Leonardo Oceania Anthropomorphism West Papua
180	*************************************************************************************************************************************************************************************** NASA TELEVISION SCHEDULE STS-128 / Add to Reading List Source URL: www.spaceflightnow.com Language: English - Date: 2011-09-01 17:48:27** International Space Station The Hub Leonardo STS-125 STS-121 Spaceflight Joint ventures Human spaceflight